Despite being time-travel adventure series, both classic Doctor Who (1963-1989, 1996) and its reboot (2005-present) have not seen the development of a coherent ontology of time for their fictional universe. As such, it is extremely difficult to review established theories of the nature of time in an attempt to shoe-horn Doctor Who into an existing framework. Difficulties include the evolution of the views of the central character, the alien “Doctor,” from a position that insists “time can’t be rewritten” to its (...) opposite as well as a curious anthropomorphizing of the temporal through show concepts like “fixed points in time.” I argue that one way to draw a coherent philosophy of time from the program is to treat the Time Lords as establishing not only the possibility of time travel but also the universe’s timeline itself. This leads to an examination of four-dimensional realism as characterizing the ontology of Doctor Who’s fictive timeline. (shrink)

Traditionally, the investigation of truth has been anchored in a priori reasoning. Cognitive science deviates from this tradition by adding empirical data on how people understand and use concepts. Building on psychophysics and machine learning methods, we introduce conceptual scaling, an approach to map people's understanding of abstract concepts. This approach, allows computing participant-specific conceptual maps from obtained ordinal comparison data, thereby quantifying perceived similarities among abstract concepts. Using this approach, we investigated individual's alignment with philosophical theories on truth and (...) the predictive capacity of conceptual maps. The obtained results indicated that, while people's understanding of truth is multifaceted and encapsulates notions of coherence and authenticity, alignment is best for the correspondence theory of truth. Furthermore, conceptual maps allowed predicting individual outcomes with an accuracy of roughly 70%. This research demonstrates that conceptual scaling offers accurate descriptions of individual's understanding of abstract concepts, behavioral predictions, and quantification of alignment with theoretical perspectives. (shrink)

Philosophers of science are increasingly interested in engaging with scientific communities, policy makers, and members of the public; however, the nature of this engagement has not been systematically examined. Instead of delineating a specific kind of engaged philosophy of science, as previous accounts have done, this article draws on literature from outside the discipline to develop a framework for analyzing different forms of broadly engaged philosophy of science according to two key dimensions: social interaction and epistemic integration. Clarifying the many (...) forms of engagement available to philosophers of science can advance future scholarship on engagement and promote more strategic engagement efforts. (shrink)

In the latter half of the twentieth century, philosophers of science have argued (implicitly and explicitly) that epistemically rational individuals might compose epistemically irrational groups and that, conversely, epistemically rational groups might be composed of epistemically irrational individuals. We call the conjunction of these two claims the Independence Thesis, as they together imply that methodological prescriptions for scientific communities and those for individual scientists might be logically independent of one another. We develop a formal model of scientific inquiry, define four (...) criteria for individual and group epistemic rationality, and then prove that the four definitions diverge, in the sense that individuals will be judged rational when groups are not and vice versa. We conclude by explaining implications of the inconsistency thesis for (i) descriptive history and sociology of science and (ii) normative prescriptions for scientific communities. (shrink)

Predictable polarization is everywhere: we can often predict how people’s opinions, including our own, will shift over time. Extant theories either neglect the fact that we can predict our own polarization, or explain it through irrational mechanisms. They needn’t. Empirical studies suggest that polarization is predictable when evidence is ambiguous, that is, when the rational response is not obvious. I show how Bayesians should model such ambiguity and then prove that—assuming rational updates are those which obey the value of evidence—ambiguity (...) is necessary and sufficient for the rationality of predictable polarization. The main theoretical result is that there can be a series of such updates, each of which is individually expected to make you more accurate, but which together will predictably polarize you. Polarization results from asymmetric increases in accuracy. This mechanism is not only theoretically possible, but empirically plausible. I argue that cognitive search—searching a cognitively accessible space for a particular item—often yields asymmetrically ambiguous evidence, I present an experiment supporting its polarizing effects, and I use simulations to show how it can explain two of the core causes of polarization: confirmation bias and the group polarization effect. (shrink)

Even the most cursory reader of Husserl’s writings must be struck by the frequent references to essences (“Wesen”, “Essenzen”), Ideas (“Idee”), kinds, natures, types and species and to necessities, possibilities, impossi- bilities, necessary possibilities, essential necessities and essential laws. What does Husserl have in mind in talking of essences and modalities? What did he take the relation between essentiality and modality to be? In the absence of answers to these questions it is not clear that a reader of Husserl can (...) be said to understand him. (shrink)

Kevin Lynch's books are the classic underpinnings of modern urban planning and design, yet they are only a part of his rich legacy of ideas about human purposes and values in built form. City Sense and City Design brings together Lynch's remaining work, including professional design and planning projects that show how he translated many of his ideas and theories into practice. An invaluable sourcebook of design knowledge, City Sense and City Design completes the record of one of the (...) foremost environmental design theorists of our time and leads to a deeper understanding of his distinctively humanistic philosophy. The editors, both former students of Lynch, provide a cogent summary of his career and of the role he played in shaping and transforming the American urban design profession during the 1950s, the 1960s, and the 1970s. Each of the seven thematic groupings of writings and projects that follow begins with a short introduction explaining their content and their background. The essays in part I focus on the premises of Lynch's work: his novel reading of large-scale built environments and the notion that the design of an urban landscape should be as meaningful and intimate as the natural landscape. In part II, excerpts from Lynch's travel journals reveal his early ideas on how people perceive and interpret their surroundings—ideas that culminated in his seminal work, The Image of the City. This part of the book also presents Lynch's experiments with children and his assessment of environmental-perception research. The examples of both small-scale and large-scale analysis of visual form in part III are followed by three parts on city design. These include Lynch's more theoretical works on complex planning decisions involving both functional (spatial and structural organization) and normative (how the city works in human terms) approaches, articles discussing the principles that guided Lynch's teaching and practice of city design, and descriptions of Lynch's own projects in the Boston area and elsewhere. The book concludes with essays written late in Lynch's career, fantasy pieces describing utopias and offering new design freedoms and scenarios warning of horrifying "cacotopias.". (shrink)

The gambler’s fallacy is the tendency to expect random processes to switch more often than they actually do—for example, to think that after a string of tails, a heads is more likely. It’s often taken to be evidence for irrationality. It isn’t. Rather, it’s to be expected from a group of Bayesians who begin with causal uncertainty, and then observe unbiased data from an (in fact) statistically independent process. Although they converge toward the truth, they do so in an asymmetric (...) way—ruling out “streaky” hypotheses more quickly than “switchy” ones. As a result, the majority (and the average) exhibit the gambler’s fallacy. If they have limited memory, this tendency persists even with arbitrarily-large amounts of data. Indeed, such Bayesians exhibit a variety of the empirical trends found in studies of the gambler’s fallacy: they expect switches after short streaks but continuations after long ones; these nonlinear expectations vary with their familiarity with the causal system; their predictions depend on the sequence they’ve just seen; they produce sequences that are too switchy; and they exhibit greater rates of gambler’s reasoning when forming binary predictions than when forming probability estimates. In short: what’s been thought to be evidence for irrationality may instead be rational responses to limited data and memory. (shrink)

Robert Sparrow (among others) claims that if an autonomous weapon were to commit a war crime, it would cause harm for which no one could reasonably be blamed. Since no one would bear responsibility for the soldier’s share of killing in such cases, he argues that they would necessarily violate the requirements of jus in bello, and should be prohibited by international law. I argue this view is mistaken and that our moral understanding of war is sufficient to determine blame (...) for any wrongful killing done by autonomous weapons. Analyzing moral responsibility for autonomous weapons starts by recognizing that although they are capable of causing moral consequences, they are neither praiseworthy nor blameworthy in the moral sense. As such, their military role is that of a tool, albeit a rather sophisticated one, and responsibility for their use is roughly analogous to that of existing “smart” weapons. There will likely be some difficulty in managing these systems as they become more intelligent and more prone to unpredicted behavior, but the moral notion of shared responsibility and the legal notion of command responsibility are sufficient to locate responsibility for their use. (shrink)

KK is the thesis that if you can know p, you can know that you can know p. Though it’s unpopular, a flurry of considerations has recently emerged in its favour. Here we add fuel to the fire: standard resources allow us to show that any failure of KK will lead to the knowability and assertability of abominable indicative conditionals of the form ‘If I don’t know it, p’. Such conditionals are manifestly not assertable—a fact that KK defenders can easily (...) explain. I survey a variety of KK-denying responses and find them wanting. Those who object to the knowability of such conditionals must either deny the possibility of harmony between knowledge and belief, or deny well-supported connections between conditional and unconditional attitudes. Meanwhile, those who grant knowability owe us an explanation of such conditionals’ unassertability—yet no successful explanations are on offer. Upshot: we have new evidence for KK. (shrink)

Philosophy in the West divides into three parts: Analytic Philosophy (AP), Continental Philosophy (CP), and History of Philosophy (HP). But all three parts are in a bad way. AP is sceptical about the claim that philosophy can be a science, and hence is uninterested in the real world. CP is never pursued in a properly theoretical way, and its practice is tailor-made for particular political and ethical conclusions. HP is mostly developed on a regionalist basis: what is studied is determined (...) by the nation or culture to which a philosopher belongs, rather than by the objective value of that philosopher’s work. Progress in philosophy can only be attained by avoiding these pitfalls. (shrink)

Schwenkler (2012) criticizes a 2011 experiment by R. Held and colleagues purporting to answer Molyneux’s question. Schwenkler proposes two ways to re-run the original experiment: either by allowing subjects to move around the stimuli, or by simplifying the stimuli to planar objects rather than three-dimensional ones. In Schwenkler (2013) he expands on and defends the former. I argue that this way of re-running the experiment is flawed, since it relies on a questionable assumption that newly sighted subjects will be able (...) to appreciate depth cues. I then argue that the second way of re-running the experiment is successful both in avoiding the flaw of original Held experiment, and in avoiding the problem with the first way of re-running the experiment. (shrink)

Jaegwon Kim argued that nonreductive physicalism faces the “exclusion problem” for higher-level causation, mental causation in particular. Roughly, the charge is that given the presumptive ubiquity of physical causation, there cannot be irreducible mental causes for physical effects. Since there are mental causes, Kim concluded that nonreductive physicalism should be rejected in favor of a more reductionist alternative according to which mental causes are just physical causes differently described. But why should mental causes be “excluded” in this way? Unfortunately, Kim (...) had less to say about this than one might expect. After reviewing some of Kim’s proposals, I suggest that the exclusion problem should be premised on nothing more or less than Occamist, simplicity-based considerations. I apply this conception of the exclusion problem to some prominent responses to Kim’s critique of nonreductive physicalism and argue that this conception mandates reconsidering the success of these responses. (shrink)

Suppose you have recently gained a disposition for recognizing a high-level kind property, like the property of being a wren. Wrens might look different to you now. According to the Phenomenal Contrast Argument, such cases of perceptual learning show that the contents of perception can include high-level kind properties such as the property of being a wren. I detail an alternative explanation for the different look of the wren: a shift in one’s attentional pattern onto other low-level properties. Philosophers have (...) alluded to this alternative before, but I provide a comprehensive account of the view, show how my account significantly differs from past claims, and offer a novel argument for the view. Finally, I show that my account puts us in a position to provide a new objection to the Phenomenal Contrast Argument. (shrink)

In their correspondence in 1902 and 1903, after discussing the Russell paradox, Russell and Frege discussed the paradox of propositions considered informally in Appendix B of Russell’s Principles of Mathematics. It seems that the proposition, p, stating the logical product of the class w, namely, the class of all propositions stating the logical product of a class they are not in, is in w if and only if it is not. Frege believed that this paradox was avoided within his philosophy (...) due to his distinction between sense (Sinn) and reference (Bedeutung). However, I show that while the paradox as Russell formulates it is ill-formed with Frege’s extant logical system, if Frege’s system is expanded to contain the commitments of his philosophy of language, an analogue of this paradox is formulable. This and other concerns in Fregean intensional logic are discussed, and it is discovered that Frege’s logical system, even without its naive class theory embodied in its infamous Basic Law V, leads to inconsistencies when the theory of sense and reference is axiomatized therein. (shrink)

There are many things—call them ‘experts’—that you should defer to in forming your opinions. The trouble is, many experts are modest: they’re less than certain that they are worthy of deference. When this happens, the standard theories of deference break down: the most popular (“Reflection”-style) principles collapse to inconsistency, while their most popular (“New-Reflection”-style) variants allow you to defer to someone while regarding them as an anti-expert. We propose a middle way: deferring to someone involves preferring to make any decision (...) using their opinions instead of your own. In a slogan, deferring opinions is deferring decisions. Generalizing the proposal of Dorst (2020a), we first formulate a new principle that shows exactly how your opinions must relate to an expert’s for this to be so. We then build off the results of Levinstein (2019) and Campbell-Moore (2020) to show that this principle is also equivalent to the constraint that you must always expect the expert’s estimates to be more accurate than your own. Finally, we characterize the conditions an expert’s opinions must meet to be worthy of deference in this sense, showing how they sit naturally between the too-strong constraints of Reflection and the too-weak constraints of New Reflection. (shrink)

Certain advocates of the so-called “neo-logicist” movement in the philosophy of mathematics identify themselves as “neo-Fregeans” (e.g., Hale and Wright), presenting an updated and revised version of Frege’s form of logicism. Russell’s form of logicism is scarcely discussed in this literature and, when it is, often dismissed as not really logicism at all (in light of its assumption of axioms of infinity, reducibility and so on). In this paper I have three aims: firstly, to identify more clearly the primary meta-ontological (...) and methodological differences between Russell’s logicism and the more recent forms; secondly, to argue that Russell’s form of logicism offers more elegant and satisfactory solutions to a variety of problems that continue to plague the neo-logicist movement (the bad company objection, the embarrassment of richness objection, worries about a bloated ontology, etc.); thirdly, to argue that neo-Russellian forms of logicism remain viable positions for current philosophers of mathematics. (shrink)

The magisterial analyses of logic and meaning advanced in Husserl's Logical Investigations of 1900/01 have for a number of reasons been neglected by analytical philosophers in subsequent decades. This state of affairs has to do, in part, with the history of the editions and translations of Husserl's writings. Findlay's readable but imperfect translation appeared seventy years after the work itself was first published, and the editors and translators and expositors of Husserl's works have reflected the prevailing philosophical atmosphere on the (...) Continent by concentration their energies on Husserl's later writings. Now, however, over eighty years after the appearance of Husserl's one true masterpiece, a critical edition of the work is at last available in completed form. We here analyze the structure and content of this new edition, published as part of the Husserliana series by the Husserl Archive in Louvain. (shrink)

Certain commentators on Russell's “no class” theory, in which apparent reference to classes or sets is eliminated using higher-order quantification, including W. V. Quine and (recently) Scott Soames, have doubted its success, noting the obscurity of Russell’s understanding of so-called “propositional functions”. These critics allege that realist readings of propositional functions fail to avoid commitment to classes or sets (or something equally problematic), and that nominalist readings fail to meet the demands placed on classes by mathematics. I show that Russell (...) did thoroughly explore these issues, and had good reasons for rejecting accounts of propositional functions as extra-linguistic entities. I argue in favor of a reading taking propositional functions to be nothing over and above open formulas which addresses many such worries, and in particular, does not interpret Russell as reducing classes to language. (shrink)

It is well known that the circumflex notation used by Russell and Whitehead to form complex function names in Principia Mathematica played a role in inspiring Alonzo Church's “lambda calculus” for functional logic developed in the 1920s and 1930s. Interestingly, earlier unpublished manuscripts written by Russell between 1903–1905—surely unknown to Church—contain a more extensive anticipation of the essential details of the lambda calculus. Russell also anticipated Schönfinkel's combinatory logic approach of treating multiargument functions as functions having other functions as value. (...) Russell’s work in this regard seems to have been largely inspired by Frege’s theory of functions and “value-ranges”. This system was discarded by Russell due to his abandonment of propositional functions as genuine entities as part of a new tack for solving Russell’s paradox. In this article, I explore the genesis and demise of Russell’s early anticipation of the lambda calculus. (shrink)

Batı’da teorik felsefe; Analitik Felsefe (AF), Kıta Felsefesi (KF) ve Felsefe Tarihi (FT) olmak üzere üçe ayrılır. Fakat üçünde de işler yolunda değildir. AF, felsefenin bir bilim olabileceği iddiasından kuşku duyduğu için gerçek dünyayla ilgilenmiyorken başından beri uygun bir teorik yöntem izlemeyen Kıta Felsefesinin uygulanışı, belirli politik ve etik yargılara hizmet edecek şekilde özelleştirilmiştir. FT çalışmalarının gidişatı ise eldeki eserin nesnel değerinden daha çok ilgili filozofun ait olduğu ulus veya kültüre göre bölgesel bir temelde gelişmiştir. Felsefede ilerleme sağlanacaksa bu ancak (...) bahsi geçen tuzaklardan kaçınılarak gerçekleşebilir. (shrink)

A realist theory of truth for a class of sentences holds that there are entities in virtue of which these sentences are true or false. We call such entities ‘truthmakers’ and contend that those for a wide range of sentences about the real world are moments (dependent particulars). Since moments are unfamiliar, we provide a definition and a brief philosophical history, anchoring them in our ontology by showing that they are objects of perception. The core of our theory is the (...) account of truthmaking for atomic sentences, in which we expose a pervasive ‘dogma of logical form’, which says that atomic sentences cannot have more than one truthmaker. In contrast to this, we uphold the mutual independence of logical and ontological complexity, and the authors outline formal principles of truthmaking taking account of both kinds of complexity. (shrink)

Rule-Consequentialism faces “the problem of partial acceptance”: How should the ideal code be selected given the possibility that its rules may not be universally accepted? A new contender, “Calculated Rates” Rule-Consequentialism claims to solve this problem. However, I argue that Calculated Rates merely relocates the partial acceptance question. Nevertheless, there is a significant lesson from this failure of Calculated Rates. Rule-Consequentialism’s problem of partial acceptance is more helpfully understood as an instance of the broader problem of selecting the ideal code (...) given various assumptions—assumptions about who will accept and comply with the rules, but also about how the rules will be taught and enforced, and how similar the future will be. Previous rich discussions about partial acceptance provide a taxonomy and groundwork for formulating the best version of Rule-Consequentialism. (shrink)

Bertrand Russell was one of the best-known proponents of logicism: the theory that mathematics reduces to, or is an extension of, logic. Russell argued for this thesis in his 1903 The Principles of Mathematics and attempted to demonstrate it formally in Principia Mathematica (PM 1910–1913; with A. N. Whitehead). Russell later described his work as a further “regressive” step in understanding the foundations of mathematics made possible by the late 19th century “arithmetization” of mathematics and Frege’s logical definitions of arithmetical (...) concepts. The logical system of PM sought to improve on earlier attempts by solving the contradictions found in, e.g., Frege’s system, by employing a theory of types. In this article, I also consider and critically evaluate the most common objections to Russell’s logicism, including the claim that it is undermined by Gödel’s incompleteness results, and Putnam's charge of “if-thenism”. I suggest that if we are willing to accept a slightly revisionist account of what counts as a mathematical truth, these criticisms do not obviously refute Russell’s claim to have established that mathematical truths generally are a species of logical truth. (shrink)

This paper will aim to accomplish two things to show Luhmann’s and Hegel’s support of language and communication as dependent on culture, but also their differences with respect to how culture is formed in conjunction with the environment. This paper will firstly show how Hegel distinguishes between the imagination and reason in a different manner from Luhmann, as Hegel considers them logically connected while Luhmann considers them as coextensive. Secondly, this paper will show how reason and imagination create culture through (...) the environment via dialectical idealism in Hegel and a poly-contextural constructivist approach in Luhmann. (shrink)

In his recent The Parmenidean Ascent, Michael Della Rocca develops a regress-theoretic case, reminiscent of F.H. Bradley’s famous argument in Appearance and Reality, against the intelligibility of relations and in favor of a monistic conception of reality. I argue that Della Rocca illicitly supposes that “internal” relations – in one sense of that word – lead to a “chain” regress, a regress of relations relating relations and relata. In contrast, I contend that if “internal” or grounded relations lead to a (...) regress at all, it is a kind of “fission” regress within the relata themselves, and that a chain regress for relations only arises, if at all, for so-called “external” relations, relations not grounded in their relata. In this way, I contend that Della Rocca pursues a regress for so-called “internal” or grounded relations that only arises, if at all, for so-called “external” relations, relations not grounded in their relata. I compare Della Rocca’s case against relations with Bradley’s reasoning in Appearance and Reality, and suggest in this context that Bradley may, perhaps, have the upper hand. (shrink)

Do people tend to be overconfident? Many think so. They’ve run studies on whether people are calibrated: whether their average confidence in their opinions matches the proportion of those opinions that are true. Under certain conditions, people are systematically ‘over-calibrated’—for example, of the opinions they’re 80% confident in, only 60% are true. From this empirical over-calibration, it’s inferred that people are irrationally overconfident. My question: When and why is this inference warranted? Answering it requires articulating a general connection between being (...) rational and being right—something extant studies have not done. I show how to do so using the notion of deference. This provides a theoretical foundation for calibration research, but also reveals a flaw: the connection between being rational and being right is much weaker than is standardly assumed, since rational people can often be expected to be miscalibrated. Thus we can’t test whether people are overconfident by simply testing whether they are over-calibrated; instead, we must try to predict the rational deviations from calibration, and then compare those predictions to people’s performance. I show how this can be done—and that doing so complicates the interpretation of robust empirical effects. (shrink)

I trace changes to Frege's understanding of numbers, arguing in particular that the view of arithmetic based in geometry developed at the end of his life (1924–1925) was not as radical a deviation from his views during the logicist period as some have suggested. Indeed, by looking at his earlier views regarding the connection between numbers and second-level concepts, his understanding of extensions of concepts, and the changes to his views, firstly, in between Grundlagen and Grundgesetze, and, later, after learning (...) of Russell's paradox, this position is a natural position for him to have retreated to, when properly understood. (shrink)

Russell discovered the classes version of Russell's Paradox in spring 1901, and the predicates version near the same time. There is a problem, however, in dating the discovery of the propositional functions version. In 1906, Russell claimed he discovered it after May 1903, but this conflicts with the widespread belief that the functions version appears in _The Principles of Mathematics_, finished in late 1902. I argue that Russell's dating was accurate, and that the functions version does not appear in the (...) _Principles_. I distinguish the functions and predicates versions, give a novel reading of the _Principles_, section 85, as a paradox dealing with what Russell calls _assertions_, and show that Russell's logical notation in 1902 had no way of even formulating the functions version. The propositional functions version had its origins in the summer of 1903, soon after Russell's notation had changed in such a way as to make a formulation possible. (shrink)

The peculiar case of Lehrer’s lawyer purports to describe a scenario in which a subject has a justified belief, indeed knowledge, despite the fact that their belief is not causally or counterfactually sustained by any good reasons for it. The case has proven controversial. While some agree with Lehrer’s assessment of the case, others disagree, leading to a schism among accounts of the basing relation. In this paper I aim to reconcile these camps and put simple causal and counterfactual accounts (...) of the basing relation back on the table, by arguing that Lehrer’s case is probably metaphysically impossible, but even if it isn’t, it is ambiguous between a psychologically implausible and a psychologically plausible reading, and this can account for the diverging intuitions that it generates. (shrink)

The Twin Earth thought experiment invites us to consider a liquid that has all of the superficial properties associated with water (clear, potable, etc.) but has entirely different deeper causal properties (composed of “XYZ” rather than of H2O). Although this thought experiment was originally introduced to illuminate questions in the theory of reference, it has also played a crucial role in empirically informed debates within the philosophy of psychology about people’s ordinary natural kind concepts. Those debates have sought to accommodate (...) an apparent fact about ordinary people’s judgments: Intuitively, the Twin Earth liquid is not water. We present results from four experiments showing that people do not, in fact, have this intuition. Instead, people tend to have the intuition that there is a sense in which the liquid is not water but also a sense in which it is water. We explore the implications of this finding for debates about theories of natural kind concepts, arguing that it supports views positing two distinct criteria for membership in natural kind categories – one based on deeper causal properties, the other based on superficial, observable properties. (shrink)

Robert Sparrow (among others) claims that if an autonomous weapon were to commit a war crime, it would cause harm for which no one could reasonably be blamed. Since no one would bear responsibility for the soldier’s share of killing in such cases, he argues that they would necessarily violate the requirements of jus in bello, and should be prohibited by international law. I argue this view is mistaken and that our moral understanding of war is sufficient to determine blame (...) for any wrongful killing done by autonomous weapons. Analyzing moral responsibility for autonomous weapons starts by recognizing that although they are capable of causing moral consequences, they are neither praiseworthy nor blameworthy in the moral sense. As such, their military role is that of a tool, albeit a rather sophisticated one, and responsibility for their use is roughly analogous to that of existing “smart” weapons. There will likely be some difficulty in managing these systems as they become more intelligent and more prone to unpredicted behavior, but the moral notion of shared responsibility and the legal notion of command responsibility are sufficient to locate responsibility for their use. (shrink)

Sequel to Part I. In these articles, I describe Cantor’s power-class theorem, as well as a number of logical and philosophical paradoxes that stem from it, many of which were discovered or considered (implicitly or explicitly) in Bertrand Russell’s work. These include Russell’s paradox of the class of all classes not members of themselves, as well as others involving properties, propositions, descriptive senses, class-intensions and equivalence classes of coextensional properties. Part II addresses Russell’s own various attempts to solve these paradoxes, (...) including strategies that he considered and rejected (limitation of size, the zigzag theory, etc.), as well as his own final views whereupon many purported entities that, if reified, lead to these contradictions, must not be genuine entities, but ‘logical fictions’ or ‘logical constructions’ instead. (shrink)

Review of Logic as Universal Science: Russell’s Early Logicism and Its Philosophical Context, by Anssi Korhonen (Palgrave Macmillan 2013).

This chapter clarifies that it was the works Giuseppe Peano and his school that first led Russell to embrace symbolic logic as a tool for understanding the foundations of mathematics, not those of Frege, who undertook a similar project starting earlier on. It also discusses Russell’s reaction to Peano’s logic and its influence on his own. However, the chapter also seeks to clarify how and in what ways Frege was influential on Russell’s views regarding such topics as classes, functions, meaning (...) and denotation, etc., and summarizes the correspondence between Frege and Russell and the light it sheds on the philosophical logic of both. (shrink)

In these articles, I describe Cantor’s power-class theorem, as well as a number of logical and philosophical paradoxes that stem from it, many of which were discovered or considered (implicitly or explicitly) in Bertrand Russell’s work. These include Russell’s paradox of the class of all classes not members of themselves, as well as others involving properties, propositions, descriptive senses, class-intensions, and equivalence classes of coextensional properties. Part I focuses on Cantor’s theorem, its proof, how it can be used to manufacture (...) paradoxes, Frege’s diagnosis of the core difficulty, and several broad categories of strategies for offering solutions to these paradoxes. (shrink)

Along with offering an historically-oriented interpretive reconstruction of the syntax of PM ( rst ed.), I argue for a certain understanding of its use of propositional function abstracts formed by placing a circum ex on a variable. I argue that this notation is used in PM only when de nitions are stated schematically in the metalanguage, and in argument-position when higher-type variables are involved. My aim throughout is to explain how the usage of function abstracts as “terms” (loosely speaking) is (...) not inconsistent with a philosophy of types that does not think of propositional functions as mind- and language-independent objects, and adopts a nominalist/substitutional semantics instead. I contrast PM’s approach here both to function abstraction found in the typed λ-calculus, and also to Frege’s notation for functions of various levels that forgoes abstracts altogether, between which it is a kind of intermediary. (shrink)

Phineas Gage’s story is typically offered as a paradigm example supporting the view that part of what matters for personal identity is a certain magnitude of similarity between earlier and later individuals. Yet, reconsidering a slight variant of Phineas Gage’s story indicates that it is not just magnitude of similarity, but also the direction of change that affects personal identity judgments; in some cases, changes for the worse are more seen as identity-severing than changes for the better of comparable magnitude. (...) Ironically, thinking carefully about Phineas Gage’s story tells against the thesis it is typically taken to support. (shrink)

There is a long-running debate as to whether privacy is a matter of control or access. This has become more important following revelations made by Edward Snowden in 2013 regarding the collection of vast swathes of data from the Internet by signals intelligence agencies such as NSA and GCHQ. The nature of this collection is such that if the control account is correct then there has been a significant invasion of people's privacy. If, though, the access account is correct then (...) there has not been an invasion of privacy on the scale suggested by the control account. I argue that the control account of privacy is mistaken. However, the consequences of this are not that the seizing control of personal information is unproblematic. I argue that the control account, while mistaken, seems plausible for two reasons. The first is that a loss of control over my information entails harm to the rights and interests that privacy protects. The second is that a loss of control over my information increases the risk that my information will be accessed and that my privacy will be violated. Seizing control of another's information is therefore harmful, even though it may not entail a violation of privacy. Indeed, seizing control of another's information may be more harmful than actually violating their privacy. (shrink)

An ongoing philosophical discussion concerns how various types of mental states fall within broad representational genera—for example, whether perceptual states are “iconic” or “sentential,” “analog” or “digital,” and so on. Here, I examine the grounds for making much more specific claims about how mental states are structured from constituent parts. For example, the state I am in when I perceive the shape of a mountain ridge may have as constituent parts my representations of the shapes of each peak and saddle (...) of the ridge. More specific structural claims of this sort are a guide to how mental states fall within broader representational kinds. Moreover, these claims have significant implications of their own about semantic, functional, and epistemic features of our mental lives. But what are the conditions on a mental state's having one type of constituent structure rather than another? Drawing on explanatory strategies in vision science, I argue that, other things being equal, the constituent structure of a mental state determines what I call its distributional properties—namely, how mental states of that type can, cannot, or must co‐occur with other mental states in a given system. Distributional properties depend critically on and are informative about the underlying structures of mental states, they abstract in important ways from aspects of how mental states are processed, and they can yield significant insights into the variegation of psychological capacities. (shrink)

Colleagues are not only an integral part of many people’s lives; empirical research suggests that having a good relationship with one’s colleagues is the single most important factor for being happy at work. However, so far, no one has provided a comprehensive account of what it means to be a colleague. To address this lacuna, we have conducted both an empirical as well as theoretical investigation into the content and structure of the concept ‘colleague.’ Based on the empirical evidence that (...) we present in this paper, we argue that ‘colleague’ is a dual character concept that has both a descriptive and a normative basis for categorization. Its descriptive dimension is characterized by three features, according to which two people are colleagues if they work for the same institution and know each other, or if they work for the same institution and work in the same field. An independent normative dimension is revealed, which shows that, as colleagues, we are expected to fulfill substantial normative expectations. Understanding the expectations that are encoded in the very structure of this concept is crucial to lay the groundwork for an ethics of collegiality. (shrink)

“Experimental jurisprudence” draws on empirical data to inform questions typically associated with jurisprudence or legal theory. Scholars in this flourishing movement conduct empirical studies about a variety of legal language and concepts. Despite the movement’s growth, its justification is still opaque. Jurisprudence is the study of deep and longstanding theoretical questions about law’s nature, but “experimental jurisprudence,” it might seem, simply surveys laypeople. This Article elaborates and defends experimental jurisprudence. Experimental jurisprudence, appropriately understood, is not only consistent with traditional jurisprudence; (...) it is an essential branch of it. (shrink)

Presents the results of our study comparing two different approaches (those of Goodwin and Darley 2008, and Sarkissian et al. 2011) to empirically measuring people's belief in moral objectivity. Examines the relationship between belief in moral objectivity and two other metaethical attitudes: belief in moral progress and belief in a just world.

We develop a reading of Moore’s “Proof of an External World” that emphasizes the connections between this paper and Moore’s earlier concerns and strategies. Our reading has the benefit of explaining why the claims that Moore advances in “Proof of an External World” would have been of interest to him, and avoids attributing to him arguments that are either trivial or wildly unsuccessful. Part of the evidence for our view comes from unpublished drafts which, we believe, contain important clues concerning (...) Moore’s aims and intent. While our approach to PEW may be classified alongside other broadly "metaphysical" readings, we believe that a proper recognition of the continuity in Moore’s philosophical concerns and strategies across his philosophical career shows that the customary distinction between "epistemological" and "metaphysical" interpretative approaches to PEW is at best superficial. (shrink)

Ernst Mach's atomistic theory of sensation faces problems in doing justice to our ability to perceive and remember complex phenomena such as melodies and shapes. Christian von Ehrenfels attempted to solve these problems with his theory of "Gestalt qualities", which he sees as entities depending one-sidedly on the corresponding simple objects of sensation. We explore the theory of dependence relations advanced by Ehrenfels and show how it relates to the views on the objects of perception advanced by Husserl and by (...) the Gestalt psychologists. (shrink)

The personal identity relation is of great interest to philosophers, who often consider fictional scenarios to test what features seem to make persons persist through time. But often real examples of neuroscientific interest also provide important tests of personal identity. One such example is the case of Phineas Gage – or at least the story often told about Phineas Gage. Many cite Gage’s story as example of severed personal identity; Phineas underwent such a tremendous change that Gage “survived as a (...) different man.” I discuss a recent empirical finding about judgments about this hypothetical. It is not just the magnitude of the change that affects identity judgment; it is also the negative direction of the change. I present an experiment suggesting that direction of change also affects neuroethical judgments. I conclude we should consider carefully the way in which improvements and deteriorations affect attributions of personal identity. This is particularly important since a number of the most crucial neuroethical decisions involve varieties of cognitive enhancements or deteriorations. (shrink)

Russell claims in his autobiography and elsewhere that he discovered his 1905 theory of descriptions while attempting to solve the logical and semantic paradoxes plaguing his work on the foundations of mathematics. In this paper, I hope to make the connection between his work on the paradoxes and the theory of descriptions and his theory of incomplete symbols generally clearer. In particular, I argue that the theory of descriptions arose from the realization that not only can a class not be (...) thought of as a single thing, neither can the meaning/intension of any expression capable of singling out one collection (class) of things as opposed to another. If this is right, it shows that Russell’s method of solving the logical paradoxes is wholly incompatible with anything like a Fregean dualism between sense and reference or meaning and denotation. I also discuss how this realization lead to modifications in his understanding of propositions and propositional functions, and suggest that Russell’s confrontation with these issues may be instructive for ongoing research. (shrink)

This is a review article on Franz Brentano’s Descriptive Psychology published in 1982. We provide a detailed exposition of Brentano’s work on this topic, focusing on the unity of consciousness, the modes of connection and the types of part, including separable parts, distinctive parts, logical parts and what Brentano calls modificational quasi-parts. We also deal with Brentano’s account of the objects of sensation and the experience of time.

This book aims to develop certain aspects of Gottlob Frege’s theory of meaning, especially those relevant to intensional logic. It offers a new interpretation of the nature of senses, and attempts to devise a logical calculus for the theory of sense and reference that captures as closely as possible the views of the historical Frege. (The approach is contrasted with the less historically-minded Logic of Sense and Denotation of Alonzo Church.) Comparisons of Frege’s theory with those of Russell and others (...) are given. It is in the end shown that developing Frege’s theory in these ways reveals serious problems hitherto largely unnoticed, including those possibly rendering a Fregean intensional logic inconsistent even if his naïve class theory is excluded. (shrink)

Several interesting themes emerge from G. E. Moore’s previously unpub­lished review of _The Principles of Mathematics_. These include a worry concerning whether mathematical notions are identical to purely logical ones, even if coextensive logical ones exist. Another involves a conception of infinity based on endless series neglected in the Principles but arguably involved in Zeno’s paradox of Achilles and the Tortoise. Moore also questions the scope of Russell’s notion of material implication, and other aspects of Russell’s claim that mathematics reduces (...) to logic. (shrink)